Antilemmas for Model Elimination
نویسنده
چکیده
We introduce an optimization for model elimination (ME). An antilemma contains information about a failed search for a sub-proof. The application of antilemmas replaces unnecessary search attempts which can extremely improve the eeciency of the ME procedure. An-tilemma application works with other optimizations like lemmaizing and identical-ancestor pruning. We deene several reenements for the usage of lemmas and antilemmas and show how to learn a \good" proof search strategy.
منابع مشابه
Comparative Approach to the Backward Elimination and for-ward Selection Methods in Modeling the Systematic Risk Based on the ARFIMA-FIGARCH Model
The present study aims to model systematic risk using financial and accounting variables. Accordingly, the data for 174 companies in Tehran Stock Exchange are extracted for the period of 2006 to 2016. First, the systematic risk index is estimated using the ARFIMA-FIGARCH model. Then, based on the research background, 35 affective financial and accounting variables are simultaneously used with t...
متن کاملTransition in Iran’s Electricity Market Considering the Policies on Elimination of Electricity Subsidies: System Dynamics Application
Because of electricity subsidies, electricity price in Iran is much lower than its real value, and the growth of electricity demand is much more than its rational rate, which in turn implies ever increasing investment in the electricity section by the Government. Therefore, the recent Government policies are based on elimination of electricity subsidies, followed by commissioning complete elect...
متن کاملa Simple Speed Control Technique and Pulsating Torque Elimination Method in a Brushless Dc Motor
This paper presents a theoretical derivation and computer simulation of an optimal speed controller for a brushless dc motor using feedback from a linear model running in parallel with the inverter-fed model. The intent of the feedback from the linear model is to eliminate torque ripples from the inverter drive. A nonlinear model of such a motor, transformed into a linear model by a local diphe...
متن کاملOptimization of fluoride in water using alum with response surface methodology
Introduction: Fluoride counts an essential element for human health. Therefore, both low and excessive concentrations of that element in drinking water may cause health problems for the consumers. The present study aims to optimize fluoride base in drinking water using Alum response surface methodology. Methods: The present study is an analytical research which uses surface response method b...
متن کامل